#!/bin/bash
source ./commonscripts.bash

time (./recompile && ./inst)
